Measuring brain temperature while maintaining brain normothermia in patients with severe traumatic brain injury